Air Taxis: A Technological Breakthrough to Beat the Traffic Woes

Traffic problems across the major cities around the world and the ever-growing population have put immense stress on countries’ smart infrastructure needs and requirements, particularly in emerging economies such as India. In such countries, existing urban transport modes have failed to accommodate the rising travel demand, which means traffic congestion will likely multiply further in the coming years. This distressing situation creates opportunities for automobile and aircraft makers to develop state-of-the-art urban air mobility (UAM) solutions. The electric vertical take-off and landing (eVTOL) vehicles seem to represent the future of urban mobility. Commercialized air taxis have the potential to completely disrupt the urban transportation system and relieve the urban streets from congestion. The case discusses the factors facilitating a speedy drift towards adopting air taxis and the recent developments in the UAM industry. To explore the air taxi market opportunities and business feasibility, the case examines the UAM ecosystem, the related cost and technology components, the industry\u27s latest competitive landscape, and anticipated barriers to the successful implementation of the air taxi business. The case outlines allied businesses and complementary revenue streams that the UAM sector would encourage and, thus, help developing nations to grow technologically and economically

Finding Desirable Substitution Box with SASQUATCH

This paper presents ``SASQUATCH\u27\u27, an open-source tool, that aids in finding an unknown substitution box (SBox) given its properties. The inspiration of our work can be directly attributed to the DCC 2022 paper by Lu, Mesnager, Cui, Fan and Wang. Taking their work as the foundation (i.e., converting the problem of SBox search to a satisfiability modulo theory instance and then invoking a solver), we extend in multiple directions (including -- but not limiting to -- coverage of more options, imposing time limit, parallel execution for multiple SBoxes, non-bijective SBox), and package everything within an easy-to-use interface. We also present ASIC benchmarks for some of the SBoxes